منابع مشابه
Keith Simmons
Computer scientists use formal verification to attempt to provide guarentees to the users of software about the run time characteristics of a given program. Verification techniques today often require a TCB or Trusted Code Base which due to time or effort constraints, the authors were not able to prove correct. When bugs occure in these pieces, they break down the strong guarentees of formal ve...
متن کاملMemoriam.
George W. Housner, Carl F Braun Professor of Engineering, emeritus, died after a short illness on 10 November 2008, just a few weeks before his 98th birthday. He was in the retirement home in Pasadena where he had lived for several years. For all of us who knew George, this marked the end of an era. Few people have guided and nurtured a field the way George led earthquake engineering over a per...
متن کاملGlomerulonephritis Keith
Early diagnosis of glomerulonephritis (GN) in the adolescent is important in initiating appropriate treatment and controlling chronic glomerular injury that may eventually lead to end-stage renal disease (ESRD). The spectrum of GN in adolescents is more similar to that seen in young and middle-aged adults than to that observed in prepubertal children. In this article, the authors discuss the cl...
متن کاملIn Memoriam: Mark Everingham
MARK EVERINGHAM was a brilliant colleague. You may have been aware of him at conferences where he asked penetrating questions that could crystallize a key aspect of a paper. In conversation with him you might have been stunned by a new connection he made between areas of research or to a crucial related work. These questions and observations were a reflection of his very broad knowledge and dee...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Auk
سال: 2004
ISSN: 0004-8038
DOI: 10.1642/0004-8038(2004)121[0600:imnkj]2.0.co;2